A Type System for Usage of Software Components. Extended Abstract
نویسنده
چکیده
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to estimate bounds for the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and operators for sequential, alternative and parallel composition and a scope mechanism. The language is here supplemented with the primitives use , for inclusive usage, and lock and free for exclusive usage. The main contribution is a type system which guarantees the safety of usage, in the following way: When a well-typed program executes a subexpression use [x] or lock [x], it is guaranteed that an instance of x is available.
منابع مشابه
A Type System for Usage of Software Components
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to find bounds of the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and opera...
متن کاملبررسی شکایات چشمی و عوامل مرتبط در کاربران رایانه
Abstract Background: It is nearly twenty years passed from introducing of computer to human life and it is now an inseparable part of our life, because of widespread use of computer, many studies have been done for finding safety and health principle for these users, the aim of this study is determination of ophthalmic complains in Shahid Sadoughi University computer users. Methods: This des...
متن کاملEarthen architecture, an alternative to construction industry to manage the drought crisis in Iran: Comparison between water usage in a building with three type of loading system: steel, concrete, and earth
Abstract: Iran faces water shortage crisis whilst construction industry consumes huge amount of water. There are not precise data about construction industry water consumption. Accordingly, lack of comparison as well as prioritization between prevalent structural systems and alternatives which probably use less water create problems in planning for less consumption. There are two questions whi...
متن کاملResponsive Software Architecture Patterns for Workload Variations: A Case-study in a CQRS-based Enterprise Application
I. EXTENDED ABSTRACT In any software system, end-users’ workloads vary due to different requirements and business models. In enterprise applications, variation is typically caused by the types of business an organization does, e.g. whether it is a wholesale business with large numbers of orders from the same customer, while supermarkets process single orders for each customer, and each of the o...
متن کاملGenericity, extensibility and type-safety in the V pattern
A software component is, in a general sense, a piece of software that can be safely reused and flexibly adapted by some other piece of software. The safety can be ensured by a type system that guarantees the right usage of the component; the flexibility stems from the fact that components are parametrizable over different aspects affecting their behaviours. Component-oriented programming (COP),...
متن کامل